1. Categorical logic and type theory
Author: / Bart Jacobs
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Type theory.,Categories (Mathematics)
Classification :
QA9
,.
J27
,
1999
2. Categorical logic and type theory
Author: Jacobs, Bart
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Type theory,، Categories )Mathematics(
Classification :
QA
9
.
J22
3. Christianity in late antiquity, 300-450 C.E.
Author: Bart D. Ehrman, Andrew S. Jacobs
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Christian literature, Early
Classification :
BR
,
63
,.
C47
,
2004
4. Introduction to Coalgebra
Author: \ Bart Jacobs
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Associative algebras,Universal enveloping algebras.
Classification :
E-Book
,
5. Technology In Transition: A. D. 300- 650
Author: / Edited By Luke Lavan, Enrico Zanini And Alexander Sarantis : With The Assistance of The ine Jacobs, Dirk Booms, Bart De Graeve
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Technology -- Mediterranean Region -- History., Mediterranean Region -- Antiquities, Mediterranean Region -- History,تکنولوژی -- مدیترانه، نواحی -- تاریخ
Classification :
T16
.
T43
